Pattern calculus - PDFSEARCH.IO - Document Search Engine

Pattern calculus
Results: 51

#	Item
21	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Function Unification Model theory Lambda calculus Μ operator Symbol Mathematics Mathematical logic Logic
22	Haskell: A Fun, Friendly, Fantastic Functional Language Andrew Brinker Hello, Welcome to the wonderful world of Haskell. Haskell is my personal favorite programming language, and is the most exciting and interesting lang Add to Reading List Source URL: andrewbrinker.com Language: English - Date: 2015-04-21 19:13:18 Functional programming Subroutines Functional languages Type theory Lambda calculus Haskell Anonymous function Monad Pattern matching Software engineering Computer programming Computing
23	Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-04 11:56:16 Logic Natural deduction Curry–Howard correspondence Symbol Sequent calculus Sheaf Orbifold Holomorphic functional calculus Proof theory Mathematics Mathematical logic
24	Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel Brigitte Pientka Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-07-16 18:56:31 Computability theory Programming idioms Theoretical computer science Recursion Subroutines Pattern matching Haskell Map Lambda calculus Software engineering Computing Computer programming
25	ZU064-05-FPR rhiger-submitted 18 August 2008 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-10-17 11:56:59 Lambda calculus Type theory Data types Functional programming Logic in computer science Pattern matching Standard ML Combinatory logic Fixed-point combinator Software engineering Theoretical computer science Computing
26	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
27	Pattern Recognition and Machine Learning Solutions to the Exercises: Web-Edition Markus Svens´en and Christopher M. Bishop c 2002–2009 Copyright Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-09-08 12:24:52 Functions and mappings Integral calculus Multivariable calculus Normal distribution Multiple integral Derivative Standard deviation Function Lukaszyk–Karmowski metric Mathematical analysis Statistics Calculus
28	Pattern Recognition and Machine Learning Errata and Additional Comments Markus Svens´en and Christopher M. Bishop September 21, 2011 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-21 05:30:02 Estimation theory Normal distribution Maximum likelihood Gaussian function Variance Gamma distribution Golden ratio Calculus of variations Statistics Mathematical analysis Mathematics
29	Type-Changing Program Transformations with Pattern Matching Joeri van Eekelen, Sean Leather and Johan Jeuring Utrecht University, , , Abstract We present a system for Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-06 07:04:24 Mathematics Pattern matching Lambda calculus Logic in computer science Orbifold Theoretical computer science Applied mathematics Models of computation
30	42 NW12 Abstracts IP0 Martin D. Kruskal Lecture - Pattern Quarks and Add to Reading List Source URL: www.siam.org Language: English - Date: 2012-05-31 11:29:38 Partial differential equations Solitons Wave mechanics Fluid dynamics Nonlinear optics Martin David Kruskal Nonlinear Schrödinger equation Korteweg–de Vries equation Differential equation Calculus Physics Multivariable calculus

UPDATE